The logic of indexicals
نویسنده
چکیده
One of the central arguments in Strawson (1960) against the possibility of a formal semantics of natural language and of an associated logic was that indexicals cannot be dealt with formally.1 Kaplan’s “Demonstratives” provided a successful semantics and a logic for indexicals, and thus proved Strawson wrong about indexicals, and about context sensitive expressions in general.2 The present paper is motivated by the observation that Kaplan’s logic, and hence the whole tradition that grew out of it, is too limited: it only deals with monologues in a single context. The pervasive use of indexicals in conversations is beyond its scope. In a way, the situation with Kaplan’s restricted logic is as if Strawson had been right all along, except for a very small, and arbitrarily chosen, class of arguments. Furthermore, this restriction goes against the power of Kaplan’s semantics: indexicals are special precisely because they get different referents in different contexts, and we use this power in argumentation and conversation. Kaplan himself never said why he restricted logic in this way.3 The reason probably is that, historically, all forms of logic have assessed the premises and the conclusion in the same context, or as if they are not relative to any context. Soames (2010), in an argument reminiscent of Strawson’s, gives an explicit reason to follow Kaplan: if “I” can be used twice in an argument with different 1The core of his argument was already present in Strawson (1950). 2In this paper, I will be talking quite extensively about Kaplan’s work on indexicals. Since the two central papers were published in the same book, but written at least 12 years apart, I have found it useful to refer to them in a more descriptive manner than the usual citation conventions. I will use “[Demons]” for Kaplan (1989b) and “[Aft]” for Kaplan (1989a). 3However, some of Kaplan’s discussion about the difficulties of a logic of utterances can be taken to be reasons for the restrictions I am discussing (see, e.g. [Demons], pp. 584-585, where he talks about “verities of meaning” and “vagaries of action”). I am only claiming that Kaplan did not make this connection in the text.
منابع مشابه
The dimensions of realization: a critique of the Standard view
Colterjohn, J. and D. MacIntosh. 1987. Gerald Vision and indexicals. Analysis 47: 58–60. Corazza, E., W. Fish, and J. Gorvett. 2002. Who is I? Philosophical Studies 107: 1–21. Everett, A. 2002. Predelli on procrastination. Analysis 62: 160–66. Kaplan, D. 1977. Demonstratives. Repr. in Themes From Kaplan, ed. J. Almog, J. Perry and H. Wettstein. Oxford: Oxford University Press, 1986. Predelli, S...
متن کاملIndexicality and left-periphery
According to recent proposals in formal syntax, the left-most position in the C(omplementizer)-layer is dedicated to the representation of the context of utterance (call this hypothesis LP). This idea has had little impact on semantic theories of indexicals. The reason is that indexicals are regarded, after Kaplan’s (1989) Logic of Demonstratives (LD), as directly referential and rigid. However...
متن کاملIndexicals as Token-Reflexives
Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or tru...
متن کاملContextual Validity in Hybrid Logic
Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional symbols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly contextdependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interac...
متن کاملAn Open-Ended Finite Domain Constraint Solver
We describe the design and implementation of a nite domain constraint solver embedded in a Prolog system using an extended uniication mechanism via attributed variables as a generic constraint interface. The solver is essentially a scheduler for indexicals, i.e. reactive functional rules encoding local consistency methods performing incre-mental constraint solving or entailment checking, and gl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 192 شماره
صفحات -
تاریخ انتشار 2015